/*
 * init.c
 *
 *  Created on: Nov 24, 2013
 *      Author: Nishanth
 */

#include "init.h"


void kernel_init()
{


	(void)_MmuInit();

	(void)uart0_dbg_init();

	intLibInit();


	printk("\n\n***********\n NV Kernel\n***********\n");


	while(1);
}

